formal semantic language
英 [ˈfɔːml sɪˈmæntɪk ˈlæŋɡwɪdʒ]
美 [ˈfɔːrml sɪˈmæntɪk ˈlæŋɡwɪdʒ]
网络 形式语意语言
双语例句
- Formal and semantic categorizations: A review of The Language of Evaluation: Appraisal in English;
形式与意义的范畴化兼评《评价语言英语的评价系统》 - The former lays emphasis on formal cohesion while the latter on semantic coherence. This paper makes a comparative study of hypotaxis and parataxis in English and Chinese in terms of culture, language and translation.
本论文结合文化、语言和翻译三方面，对英语重形合，汉语重意合这一现象进行了对比研究。 - A Formal Semantic Model Facing Object Language
一个面向对象语言的形式语义模型 - Providing of formal semantic definitions of concurrent program languages is one of the most active areas of today's researching work on semantics. Formal operational semantics provide a direct basis for a precise realization of a program language.
并发程序设计语言的形式语义定义，是当今语义学研究中比较活跃的领域之一，语言的形式操作语义为语言的准确实现，提供直接的依据。 - It indicated that the basic research should mostly include the development of ontology, the formal semantics of Semantic Web language and the development of Trust and Proof model.
总结了未来语义Web基础研究和应用研究的方向：语义Web的基础研究主要包括本体的发展、语义Web语言的形式语义和确信（Trust）与证据（Proof）模型的开发； - Then, We can discuss the formal of the operation semantic of the language and the concrete access control code generation method. 3.
并以此讨论语言的操作语义的形式定义以及具体访问控制代码的生成方法。2.实现SPC的前端。